121. Natural language understanding
پدیدآورنده : Allen, James
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Programming languages )Electronic computers(- Semantics,، Language and logic,، Artificial intelligence
رده :
QA
76
.
7
.
A44
1987


122. Natural language understanding
پدیدآورنده : / James Allen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers)- Semantics,Language and logic,Artificial intelligence
رده :
QA76
.
7
.
A44
1995


123. Natural language understanding
پدیدآورنده : / James Allen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers)- Semantics,Language and logic,Artificial intelligence
رده :
QA76
.
7
.
A44
1995


124. Natural language understanding and logic programming, II
پدیدآورنده : / edited by Veronica Dahl and Patrick Saint-Dizier
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers)- Semantics- Congresses,Logic programming- Congresses
رده :
QA76
.
7
.
I578
1987


125. Natural language understanding and logic programming, II. : Proceedings of the...17-19 Aug., 1987
پدیدآورنده : edited by Veronica Dahl and Patrick Saint-Dizier
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Logic programming
رده :
QA
76
.
63
.
I58
1987


126. Ordinateurs, Programmation , et langues naturelles
پدیدآورنده : / Par Jacques Andr`e et Catherine Fuchs,Andre
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Electronic digital computers -- Programming,Programming languages ( Electronic computers) --Semantics
رده :
QA
76
.
6
.
A5


127. Practical TLA+ :
پدیدآورنده : Hillel Wayne.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers),SDL (Computer program language),Computer programming-- software development.,COMPUTERS-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),SDL (Computer program language),Software Engineering.
رده :
QA76
.
7


128. Practical aspects of declarative languages
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming languages (Electronic computers) ; Semantics ; Congresses. ;

129. Practical aspects of declarative languages :
پدیدآورنده : Pascal Van Hentenryck (ed.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
7
.
P32
2006


130. Practical aspects of declarative languages
پدیدآورنده : Andy Gill, Terrance Swift (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Declarative programming languages, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
615
.
P33
2009eb


131. Practical aspects of declarative languages
پدیدآورنده : / Michael Hanus (ed.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Programming languages (Electronic computers)--Semantics--Congresses
رده :
QA
,
76
.
7
,.
P32
,
2007


132. Practical aspects of declarative languages : First International Workshop, PADL'99, San Antonio, Texas, USA, January 1999 : proceedings
پدیدآورنده : Gopal Gupta )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1551


133. Practical aspects of declarative languages : second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings
پدیدآورنده : Enrico Pontelli, Vitor Santos Costa )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Declarative programming
رده :
QA
76
.
L28
Vol
.
1753


134. Practical aspects of declarative languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings
پدیدآورنده : Manuel Hermenegildo, Daniel Cabeza )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3350


135. Practical aspects of declarative languages : 9th International Symposium, PADL 2007 Nice, France, January 14-15, 2007 : proceedings
پدیدآورنده : Michael Hanus )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
4354


136. Practical aspects of declarative languages : 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings
پدیدآورنده : Bharat Jayaraman )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3057


137. Practical aspects of declarative languages :5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings
پدیدآورنده : Veronica Dahl, Philip Wadler )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
2562


138. Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings
پدیدآورنده : I.V. Ramakrishnan
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1990


139. Practical foundations for programming languages /
پدیدآورنده : Robert Harper, Carnegie Mellon University.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers),Programming languages (Electronic computers)
رده :
QA76
.
7
.
H377
2016


140. Predicate calculus and program semantics
پدیدآورنده : Dijkstra, Edsger Wybe
کتابخانه: (طهران)
موضوع : ، Predicate calculus,، Programming languages )Electronic computers( -- Semantics
رده :
QA
9
.
35
.
D55
1989

